国家可信嵌入式软件工程技术研究中心是由科技部批准，华东师范大学直属建制的国家级研究基地。该中心围绕国家科技发展战略与产业振兴规划的需求，充分利用合作单位及长三角区域高新技术产业等国内行业现有资源和优势条件，实行优势互补、互惠互利、共同发展，逐步发展成为具有国际领先水平的可信嵌入式技术创新体系、工程化研究与产业化研发平台。现与中国汽车电子基础软件产业联盟、中国自主可控计算平台产业联盟（14所、54所、29所）、上海电气集团股份有限公司、上海申通地铁集团有限公司、上海贝尔股份有限公司、航天五院等20余家知名企业开展了紧密合作。因研发工作的需要，现常年面向海内外招聘工程技术人员，具体要求如下：
一、岗位描述：开发模型验证与检测工具，开展形式化验证/嵌入式系统验证相关研究；
二、岗位要求：
1、在形式化验证、C/C++程序分析的自动化测试等研究领域获得博士学位
2、有丰富的C/C++程序开发经验以及工具驱动开发经验；
3、有较强的团队合作精神
三、应聘方式：
请有意者将简历投递至rpang@sei.ecnu.edu.cn.
联系电话：021-62224237.
2013暨南大学党委宣传部新闻中心招聘合同工启事福建中医药大学2013年公开招聘方案（七）厦门大学嘉庚学院传媒中心2013视频编导、媒介专员招聘启事2013福建福州教师招考成绩查询面试资格名单2013福建福州教师招考面试有关事项的通知2013福建福州教师招聘面试时间地点安排2013福州招考教师成绩查询及面试事项的通知2013福建教师招聘成绩查询入口2013厦门市教师招聘职业学校专业课卷面成绩查询福建农林大学2013招聘教学、管理、专技人员方案2013福建教师招聘考试成绩查询入口2013福建教师招聘考试报考人数37129人福建水利电力职业技术学院2013年教师招聘方案福建集美大学2013年4月招聘启事2013福建教师职称考试合格标准的通知
